Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Allemagne605
Marek Kosta8
Allemagne Sauf Marek Kosta" 600
Marek Kosta Sauf Allemagne" 3
Allemagne Et Marek Kosta 5
Allemagne Ou Marek Kosta 608
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000673 Marek Kosta [France] ; Thomas Sturm [Allemagne]A Generalized Framework for Virtual Substitution
000811 Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
000979 Christopher W. Brown [France] ; Marek Kosta [Allemagne]Constructing a single cell in cylindrical algebraic decomposition
000A63 Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution
000A68 Marek Kosta [Allemagne] ; Thomas Sturm [France] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022